Search Results for 'guarantee env'

guarantee env published presentations and documents on DocSlides.

A Rely-Guarantee-Based Simulation for

by tatiana-dople

Verifying Concurrent Program Transformations. Hon...

A Rely-Guarantee-Based Simulation for

by danika-pritchard

Verifying Concurrent Program Transformations. Hon...